1
Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 4.12 MB
5.0 / 5.0
english, 2021
2
Principles of Model Checking

Principles of Model Checking

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 17.08 MB
0 / 5.0
english, 2008
3
Foundations of probabilistic programming

Foundations of probabilistic programming

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 4.32 MB
0 / 5.0
english, 2021
4
Principles of Model Checking

Principles of Model Checking

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 5.15 MB
0 / 5.0
english, 2008
5
Principles of Model Checking

Principles of Model Checking

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 4.40 MB
0 / 5.0
english, 2008
6
Principles of Model Checking (Instructor Solution Manual, Solutions)

Principles of Model Checking (Instructor Solution Manual, Solutions)

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 1005 KB
0 / 5.0
english, 2008
11
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Έτος:
2017
Γλώσσα:
english
Αρχείο:
PDF, 18.69 MB
0 / 0
english, 2017
14
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
TXT, 1.63 MB
0 / 0
english, 2005
15
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
PDF, 5.87 MB
0 / 0
english, 2005
16
The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 17.06 MB
0 / 0
english, 2008
17
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
FB2 , 3.18 MB
0 / 0
english, 2005
18
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
MOBI , 1.81 MB
0 / 0
english, 2005